翻訳と辞書
Words near each other
・ Berlanguella scopae
・ Berlare
・ Berlats
・ Berlaymont building
・ Berle
・ Berle (surname)
・ Berle Adams
・ Berle Church
・ Berle M. Schiller
・ Berle Sanford Rosenberg
・ Berle-Kari
・ Berlebecke
・ Berleburg Bible
・ Berlei
・ Berlei Building
Berlekamp's algorithm
・ Berlekamp–Massey algorithm
・ Berlekamp–Welch algorithm
・ Berlekamp–Zassenhaus algorithm
・ Berleman House
・ Berlencourt-le-Cauroy
・ Berlenga Grande Island
・ Berlengas
・ Berlengas Natural Reserve
・ Berlengas River
・ Berlens
・ Berlenti Abdul Hamid
・ Berlepsch
・ Berlepsch's canastero
・ Berlepsch's tinamou


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Berlekamp's algorithm : ウィキペディア英語版
Berlekamp's algorithm

In mathematics, particularly computational algebra, Berlekamp's algorithm is a well-known method for factoring polynomials over finite fields (also known as ''Galois fields''). The algorithm consists mainly of matrix reduction and polynomial GCD computations. It was invented by Elwyn Berlekamp in 1967. It was the dominant algorithm for solving the problem until the Cantor–Zassenhaus algorithm of 1981. It is currently implemented in many well-known computer algebra systems.
==Overview==
Berlekamp's algorithm takes as input a square-free polynomial f(x) (i.e. one with no repeated factors) of degree n with coefficients in a finite field \mathbb_q and gives as output a polynomial g(x) with coefficients in the same field such that g(x) divides f(x). The algorithm may then be applied recursively to these and subsequent divisors, until we find the decomposition of f(x) into powers of irreducible polynomials (recalling that the ring of polynomials over a finite field is a unique factorization domain).
All possible factors of f(x) are contained within the factor ring
:R = \frac.
The algorithm focuses on polynomials g(x) \in R which satisfy the congruence:
:g(x)^q \equiv g(x) \pmod.\,
These polynomials form a subalgebra of R (which can be considered as an n-dimensional vector space over \mathbb_q), called the ''Berlekamp subalgebra''. The Berlekamp subalgebra is of interest because the polynomials g(x) it contains satisfy
:f(x) = \prod_ \gcd(f(x),g(x)-s).
In general, not every GCD in the above product will be a non-trivial factor of f(x), but some are, providing the factors we seek.
Berlekamp's algorithm finds polynomials g(x) suitable for use with the above result by computing a basis for the Berlekamp subalgebra. This is achieved via the observation that Berlekamp subalgebra is in fact the kernel of a certain n \times n matrix over \mathbb_q, which is derived from the so-called Berlekamp matrix of the polynomial, denoted \mathcal. If \mathcal=() then q_ is the coefficient of the j-th power term in the reduction of x^ modulo f(x), i.e.:
:x^ \equiv q_x^ + q_x^ + \ldots + q_ \pmod.\,
With a certain polynomial g(x) \in R, say:
:g(x) = g_x^+g_x^ + \ldots + g_0,\,
we may associate the row vector:
:g = (g_0, g_1, \ldots, g_).\,
It is relatively straightforward to see that the row vector g\mathcal corresponds, in the same way, to the reduction of g(x)^q modulo f(x). Consequently a polynomial g(x) \in R is in the Berlekamp subalgebra if and only if g(\mathcal-I)=0 (where I is the n \times n identity matrix), i.e. if and only if it is in the null space of \mathcal-I.
By computing the matrix \mathcal-I and reducing it to reduced row echelon form and then easily reading off a basis for the null space, we may find a basis for the Berlekamp subalgebra and hence construct polynomials g(x) in it. We then need to successively compute GCDs of the form above until we find a non-trivial factor. Since the ring of polynomials over a field is a Euclidean domain, we may compute these GCDs using the Euclidean algorithm.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Berlekamp's algorithm」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.